PARLOG system

并行逻辑程序设计系统